Browsing by Subject "Privacy aware"

Now showing items 1-2 of 2

    • Article  

      Type checking privacy policies in the π-calculus 

      Kouzapas, D.; Philippou, Anna (2015)
      In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...
    • Article  

      Type checking purpose-based privacy policies in the π-calculus 

      Kokkinofta, E.; Philippou, Anna (2016)
      In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...